Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
461	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
462	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
463	Scoring rubric for “How far does the flour travel?” 1 Largest House of Mud Display 2 A State Museum Display Add to Reading List Source URL: www.makingmathematicians.com Language: English - Date: 2016-01-19 00:32:48 Numerical software Theoretical computer science Solver Neuropsychology Problem solving Chess problem Software
464	Computing with Floating Point It’s not Dark Magic, it’s Science Florent de Dinechin, Ar´enaire Project, ENS-Lyon CERN seminar, January 11, Add to Reading List Source URL: lipforge.ens-lyon.fr Language: English - Date: 2005-03-18 10:04:41 Computer arithmetic Computing Mathematics Theoretical computer science Floating point IEEE floating point Double-precision floating-point format Precision Rounding NaN William Kahan 0.999...
465	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
466	Decoupling the Ethernet from Architecture in Linked Lists Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Theoretical computer science Algorithm Mathematical logic Actor model
467	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
468	Foundational Issues in Human Computing and Crowdsourcing David Alan Grier Center for International Science and Technology Policy Elliott School of International Affairs 1957 E Street NW #403 Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:47 Classes of computers Theoretical computer science Computer engineering Computer science Electrical engineering Electronic engineering Charles Babbage Human-based computation Crowdsourcing Mathematical table Computer Computing
469	Distributed Computation of the Mode Fabian Kuhn Institute of Theoretical Computer Science ETH Zurich Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:27 Search algorithms Hashing Selection algorithm Hash function Randomized algorithm A* search algorithm Cryptographic hash function
470	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency

UPDATE